#ifndef _mode_h_INCLUDED
#define _mode_h_INCLUDED

struct kissat;

typedef struct mode mode;

struct mode
{
	uint64_t ticks;
#ifndef QUIET
	double entered;
	uint64_t conflicts;
#ifndef NMETRICS
	uint64_t propagations;
	uint64_t visits;
#endif
#endif
};

void
kissat_mab_switch_search_mode(struct kissat*);
void
kissat_mab_update_scores(struct kissat*);

#endif
